∧
∨